|
|
Motivační výuková hra na platformě Android
Kučera, Martin ; Očenášek, Pavel (oponent) ; Kreslíková, Jitka (vedoucí práce)
Cílem této diplomové práce je vytvoření prototypu výukové hry, která by měla usnadnit rozhodování při výběru zaměření budoucího studia nebo záliby. Záměrem hry je poskytnout názorný a především velmi pozvolný úvod do problematiky logických systémů. Teoretická část práce se zabývá tématy potřebnými pro návrh hry. Vysvětluje logické systémy, hradla, klopné obvody, věnuje se žánrům počítačových her a zaměřuje se zejména na puzzle hry včetně jejich historie. Dále diplomová práce představuje problematiku multiplatformního vývoje pro mobilní zařízení i počítače, stručně popisuje několik známých multiplatformních knihoven. K závěru předvádí a srovnává několik vybraných aplikací, které slouží pro podporu výuky logických systémů.
|
|
|
Úspora vody
Dzoba, Matúš ; Holoubek, Tomáš (oponent) ; Dosoudilová, Monika (vedoucí práce)
Bakalárska práca sa zaoberá ekonomickými dôsledkami úspory vody, technickou realizáciou úsporných systémov a tvorbou edukatívneho modelu. Tiež je tu spomenutý dopad úspory vody na životné prostredie. Následne sú rozobrané teoretické východiská logického riadenia potrebné pre realizáciu modelu. Ďalšia kapitola popisuje časti prostredia LOGO! Soft Comfort použité pri vývoji programu. V závere je vypracovaný podrobný postup návrhu riadiaceho programu.
|
|
|
Využití SAT solverů v úloze optimalizace kombinačních obvodů
Minařík, Vojtěch ; Mrázek, Vojtěch (oponent) ; Vašíček, Zdeněk (vedoucí práce)
Tato práce zavádí využití řešení problému SAT a jeho modifikací v úloze evolučního návrhu kombinačních obvodů. Motivací využití těchto problémů je zrychlení ohodnocování chromozomů kandidátních řešení fitness funkcí během evoluce v případech, kdy selhává metoda klasické simulace. Využití problému SAT, respektive #SAT umožňuje oproti simulaci zrychlení zejména pro komplikované obvody s velkým počtem vstupů. Implementované řešení se zalkádá právě na problému #SAT. Celkem byly implemenyovány dvě různé varianty využití tohoto problému. Varianty se liší metodou kontorly rozdílných hodnot na výstupech obvodu. Protože implementované řešení využívá k reprezentaci obvodu logickou formuli a zkoumá její splnitelnost, časová složitost algoritmu závisí především na logické složitosti navrhovaného obvodu.
|
|
|
Úspora vody
Dzoba, Matúš ; Holoubek, Tomáš (oponent) ; Dosoudilová, Monika (vedoucí práce)
Bakalárska práca sa zaoberá ekonomickými dôsledkami úspory vody, technickou realizáciou úsporných systémov a tvorbou edukatívneho modelu. Tiež je tu spomenutý dopad úspory vody na životné prostredie. Následne sú rozobrané teoretické východiská logického riadenia potrebné pre realizáciu modelu. Ďalšia kapitola popisuje časti prostredia LOGO! Soft Comfort použité pri vývoji programu. V závere je vypracovaný podrobný postup návrhu riadiaceho programu.
|
|
|
Využití SAT solverů v úloze optimalizace kombinačních obvodů
Minařík, Vojtěch ; Mrázek, Vojtěch (oponent) ; Vašíček, Zdeněk (vedoucí práce)
Tato práce zavádí využití řešení problému SAT a jeho modifikací v úloze evolučního návrhu kombinačních obvodů. Motivací využití těchto problémů je zrychlení ohodnocování chromozomů kandidátních řešení fitness funkcí během evoluce v případech, kdy selhává metoda klasické simulace. Využití problému SAT, respektive #SAT umožňuje oproti simulaci zrychlení zejména pro komplikované obvody s velkým počtem vstupů. Implementované řešení se zalkádá právě na problému #SAT. Celkem byly implemenyovány dvě různé varianty využití tohoto problému. Varianty se liší metodou kontorly rozdílných hodnot na výstupech obvodu. Protože implementované řešení využívá k reprezentaci obvodu logickou formuli a zkoumá její splnitelnost, časová složitost algoritmu závisí především na logické složitosti navrhovaného obvodu.
|
|
|
Motivační výuková hra na platformě Android
Kučera, Martin ; Očenášek, Pavel (oponent) ; Kreslíková, Jitka (vedoucí práce)
Cílem této diplomové práce je vytvoření prototypu výukové hry, která by měla usnadnit rozhodování při výběru zaměření budoucího studia nebo záliby. Záměrem hry je poskytnout názorný a především velmi pozvolný úvod do problematiky logických systémů. Teoretická část práce se zabývá tématy potřebnými pro návrh hry. Vysvětluje logické systémy, hradla, klopné obvody, věnuje se žánrům počítačových her a zaměřuje se zejména na puzzle hry včetně jejich historie. Dále diplomová práce představuje problematiku multiplatformního vývoje pro mobilní zařízení i počítače, stručně popisuje několik známých multiplatformních knihoven. K závěru předvádí a srovnává několik vybraných aplikací, které slouží pro podporu výuky logických systémů.
|
host ::
RSS.